(0 9 7)(1 17 12)(2 10 4)(3 16 14)(5 15 8)(6 13 11)
ALLOWS (11/8)-SEQUENCE
1: (5 8 15)
(0 9 7)(1 17 12)(2 10 4)(3 16 14)(5 8 15)(6 13 11)
2: (0 9 7)
(0)(1 17 12)(2 10 4)(3 16 14)(5 8 15)(6 13 11)(7)(9)
3: (5 8 15)
(0)(1 17 12)(2 10 4)(3 16 14)(5)(6 13 11)(7)(8)(9)(15)
4: (1 17 12)
(0)(1)(2 10 4)(3 16 14)(5)(6 13 11)(7)(8)(9)(12)(15)(17)